Qualitative Spatial Reasoning: Framework and Frontiers
نویسنده
چکیده
Spatial reasoning is a diverse topic: what might different spatial tasks have in common? One task where substantial progress has been made is qualitative spatial reasoning about motion. Unlike qualitative dynamics, purely qualitative spatial representations have not proven fruitful. Instead, a diagrammatic representation appears to be necessary. This paper begins by outlining the Metric Diagram/ Place Vocabulary (MD/PV) model of qualitative spatial reasoning, illustrating its power with via two example systems: FROB, a system which reasoned about motion, and CLOCK, a system which analyzed fixed-axis mechanisms. We believe this model is applicable beyond simply reasoning about motion. We suspect that (1) some form of metric diagram is a central unifying factor in all spatial reasoning tasks and (2) for human spatial reasoning, the metric diagram is part of, or at least grounded in, our perceptual apparatus. In this spirit, we identify three other kinds of spatial reasoning tasks as research frontiers where substantial progress might also be made, and pose six challenge problems to serve as milestones. The frontiers are (1) deriving system function from concrete structural descriptions (2) representing and reasoning about spatially distributed systems and (3) explicating the role of visual perception and recognition in spatial reasoning.
منابع مشابه
Qualitative Kinematics: A Framework
Qualitative spatial reasoning has seen little progress This paper attempts to explain why We provide a framework for qualitative kinematics (QK), qualitative spatial reasoning about motion We propose that no general-purpose, purely qualitative kinematics exists. We propose instead the MD/PV model of spatial reasoning, which combines the power of diagrams with qualitative representations Next we...
متن کاملSBox: A Qualitative Spatial Reasoner –Progress Report–
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships (e.g. touches, overlaps etc.) on the basis of a description logic framework. We apply this method to the domain of deductive geographic information systems. In contrast to existing work, which mainly focuses on reasoning about qualitative spatial relations alone, we integrate quantitativ...
متن کاملQualitative Spatial Reasoning: The Clock Project
Forbus, K.D., P. Nielsen and B. Faltings, Qualitative spatial reasoning: the CLOCK project, Artificial Intelligence 51 (1991) 417-471. Spatial reasoning is ubiquitous in human problem solving. Significantly, many aspects of it appear to be qualitative. This paper describes a general framework for qualitative spatial reasoning and demonstrates how it can be used to understand complex mechanical ...
متن کاملIntegrated Qualitative Spatial Reasoning With Lines
The study of qualitative spatial reasoning methodologies involves the study of topology, orientation, distance, shape, size, etc. We need to develop methods for reasoning about lines integrating the different aspects in a common framework. In order to achieve this goal we begin by studying and making some enhancements to existing work in a separate way. Later, a common framework is applied to t...
متن کامل